11.51/12.60	unsat
