5.59/6.70	unsat
