25.64/26.58	unsat
