27.94/30.70	unsat
