4.67/5.97	unsat
