12.36/12.60	unsat
