25.13/26.00	unsat
