3.92/5.25	unsat
