5.20/6.70	unsat
