6.57/9.99	unsat
