4.96/7.97	unsat
