25.76/26.12	unsat
