25.73/28.01	unsat
