5.30/7.70	unsat
