11.98/12.55	unsat
