25.99/26.25	unsat
