8.67/10.94	unsat
