25.02/26.63	unsat
