4.57/6.70	unsat
