5.88/8.18	unsat
