5.18/8.88	unsat
