25.94/26.29	unsat
