1.28/2.60	unsat
