10.67/10.72	unsat
