4.17/5.97	unsat
