25.94/26.30	unsat
