12.51/12.60	unsat
