25.94/26.07	unsat
