10.24/12.55	unsat
