7.07/7.97	unsat
