1.24/1.60	unsat
