11.47/12.55	unsat
