26.46/27.70	unsat
