8.67/10.19	unsat
