26.73/30.63	unsat
