5.87/9.18	unsat
