5.99/7.25	unsat
