1.19/2.60	unsat
