5.06/7.97	unsat
