24.25/26.34	unsat
