9.67/11.90	unsat
