25.26/26.64	unsat
