12.51/15.60	unsat
