5.98/8.25	unsat
