5.87/9.52	unsat
