26.73/27.98	unsat
