5.51/7.70	unsat
