25.97/26.12	unsat
