2.48/2.70	unsat
