5.43/9.88	unsat
