9.96/10.08	unsat
