4.88/7.18	unsat
