5.48/6.70	unsat
