8.97/10.19	unsat
