8.66/10.19	unsat
