11.98/13.60	unsat
