12.25/12.68	unsat
