0.98/2.60	unsat
