9.66/10.13	unsat
