27.90/30.70	unsat
