5.48/7.70	unsat
