2.53/5.24	unsat
