5.87/9.55	unsat
