7.91/10.18	unsat
