25.45/26.10	unsat
