25.25/26.25	unsat
