12.57/14.60	unsat
