2.47/2.60	unsat
