6.24/9.99	unsat
