4.83/10.25	unsat
